Recursive Functions To Piss Off Your CS Professor
inventwithpython.com·1d·
Discuss: Hacker News, r/programming
💻Programming Languages
Topology Meets Machine Learning
ams.org·1d·
Discuss: Hacker News
🤖AI
Fully Homomorphic Encryption and the Dawn of a Truly Private Internet
bozmen.io·1d·
Discuss: Hacker News
💻Programming Languages
Type Checking with Symbolic Execution
bullno1.com·9h·
Discuss: Hacker News
💻Programming Languages
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·1d·
Discuss: Hacker News
💻Programming Languages
OpenAI's gold medal performance on the International Math Olympiad
simonwillison.net·10h
🤖AI
Billions of Tokens Later: Scaling LLM Fuzzing in Practice
gusarich.com·1d·
Discuss: Hacker News
🌱Open Source
Discovering Player Tracking in a Minimal Tic-Tac-Toe Transformer
omar.bet·1d·
Discuss: Hacker News
🤖AI
SOTA Multi-Platform Matrix Multiplication Kernels
burn.dev·3d·
Discuss: Hacker News, r/programming
💻Programming Languages
Tao: The Power of the Graph (2013)
engineering.fb.com·1d·
Discuss: Hacker News
🌱Open Source
The AGI Final Frontier: The CLJ-AGI Benchmark
raspasov.posthaven.com·1h·
Discuss: Hacker News
🤖AI
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·1d·
Discuss: Hacker News, Hacker News, Hacker News
🤖AI
ECS Survivors Part VI: Code Refactor
blog.ptidej.net·15h·
Discuss: Hacker News
💻Programming Languages
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·2d·
Discuss: Hacker News
💻Programming Languages
Identity vs. Equality in Python
pythonkoans.substack.com·4h·
Discuss: Substack
💻Programming Languages
How Go 1.24 Swiss Tables saved us hundreds of gigabytes
datadoghq.com·2d·
Discuss: Lobsters, Hacker News, r/programming
💻Programming Languages
Iterative Isoscelizing
mathpages.com·10h·
Discuss: Hacker News
💻Programming Languages
This Number System Beats Binary, But Most Computers Can't Use It
scientificamerican.com·1d·
Discuss: Hacker News
💻Programming Languages
Recurrent Neural Networks: A Review
theahura.substack.com·7h·
Discuss: Substack
🤖AI
Polish programmer beats OpenAI's custom AI in 10-hour marathon, wins World Coding Championship — possibly the last human winner
tomshardware.com·10h·
Discuss: Hacker News
🤖AI